Lifting coarse homotopies

نویسندگان

چکیده

Abstract Coarse geometry, and in particular coarse homotopy theory, has proven to be a powerful tool for approaching problems geometric group theory higher index theory. In this paper,we continue develop area by proving Lifting Lemma with respect certain class of bornologous surjective maps. This is wide enough include quotients coarsely discontinuous actions, which allows us obtain results concerning the fundamental are analogous classical topological group. As an application, we compute metric cones over negatively curved compact Riemannian manifolds.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algebraic Properties of Homotopies

The scheme ExFunc3CondD deals with a non empty set A, three unary functors F , G, and H yielding sets, and three unary predicates P, Q, R, and states that: There exists a function f such that dom f = A and for every element c of A holds if P[c], then f(c) = F(c) and if Q[c], then f(c) = G(c) and if R[c], then f(c) = H(c) provided the parameters meet the following conditions: • For every element...

متن کامل

Beyond Polyhedral Homotopies

We present a new algorithmic framework which utilizes tropical geometry and homotopy continuation for solving systems of polynomial equations where some of the polynomials are generic elements in linear subspaces of the polynomial ring. This approach generalizes the polyhedral homotopies by Huber and Sturmfels.

متن کامل

Simulations as Homotopies

We exhibit a model structure on 2-Cat, obtained by transfer from sSet across the adjunction C2 ◦ Sd a Ex ◦ N2. A certain class of homotopies in this model structure turns out to be in 1-to-1 correspondence with strong simulations among labeled transitions systems, formalising the geometric intuition of simulations as deformations. The correspondence still holds in the cubical setting, character...

متن کامل

Homotopies for Free!

We show “free theorems” in the style of Wadler on homotopy type theory as consequences of relational parametricity. It follows that, for each space, its higher inductive definition and impredicative definition have the same homotopy groups. An impredicative definition of a space can help us to find generators of homotopy groups of the space.

متن کامل

Categorical Models and Quasigroup Homotopies

As is pointed out in [Smith (1997)], in many applications of quasigroups isotopies and homotopies are more important than isomorphisms and homomorphisms. In this paper, the way homotopies may arise in the context of categorical quasigroup model theory is investigated. In this context, the algebraic structures are specified by diagram-based logics, such as sketches, and categories of models beco...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Advances in Geometry

سال: 2021

ISSN: ['1615-715X', '1615-7168']

DOI: https://doi.org/10.1515/advgeom-2021-0005